1. Type systems for distributed programs :
Author: Ornela Dardha
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification,Electronic data processing-- Distributed processing,Programming languages (Electronic computers)
Classification :
QA76
.
76
.
V47

